A Uniform Internal Representation for High-Level and Instruction-Level Transformations
نویسندگان
چکیده
Compiler techniques for automatic detection of parallelism are often described in the literature and implemented as source-to-source transformations [Wolf82, Zima91, BENP93]. These implementations are usually experimental translators for the parallelization and vectorization of loops [ABCC88, PGHL89, BEKG94]. Low-level operations, such as those needed to compute addresses of arrays and scalar parameters, are usually hidden for these source-to-source translators which only represent internally highlevel constructs.
منابع مشابه
The Design of the PROMIS Compiler
PROMIS is a multilingual, parallelizing, and retargetable compiler with an integrated frontend and backend operating on a single uniied/universal intermediate representation. This paper describes the organization and the major features of the PROMIS compiler. PROMIS exploits multiple levels of static and dynamic parallelism, ranging from task-and loop-level parallelism to instruction-level para...
متن کاملParallelizing / Optimizing Frontend Machine - Independent Backend
PROMIS is a multilingual, parallelizing, and retargetable compiler with an integrated frontend and backend operating on a single uniied/universal intermediate representation. This paper describes the organization and the major features of the PROMIS compiler. PROMIS exploits multiple levels of static and dynamic parallelism, ranging from task-and loop-level parallelism to instruction-level para...
متن کاملGurrr: a Global Uniied Resource Requirements Representation
When compiling for instruction level parallelism (ILP), the integration of the optimization phases can lead to an improvement in the quality of code generated. However, since several diierent representations of a program are used in the various phases, only a partial integration has been achieved to date. We present a program representation that combines resource requirements and availability i...
متن کاملA Simple Mechanism for Improving the
Compilers typically treat source-level and instruction-level issues as independent phases of compilation so that much of the information that might be available to source-level systems of transformations about the semantics of the high-level language and its implementation, as well as the algorithm in some cases, is generally \lost in the translation", making it unavailable to instruction-level...
متن کاملAutomatic validation of code-improving transformations on low-level program representations
This paper presents a general approach to automatically validate code-improving transformations on low-level program representations. The approach ensures the correctness of compiler and hand-specified optimizations at the machine instruction level. The method verifies the semantic equivalence of the program representation before and after a transformation to determine the validity of the trans...
متن کامل